old_bool_1_stuff 9,38
=========
OLD STUFF
=========
Obselete tactics and theorems that are maybe used in
old proofs.

origin